#include <rtl/base.h>

#define ATF_BOOTCFG_MAGIC (0x4D415446)

typedef struct
{
    UINT32 Magic;
    UINT32 TeeSupport;
    UINT32 TeeEntry;
    UINT32 TeeBootArgumentAddress;
    UINT32 HwUniqueId[4];
    UINT32 HwRandomId[2];
    UINT32 AtfLogPort;
    UINT32 AtfLogBaudrate;
    UINT32 AtfLogBufferBase;
    UINT32 AtfLogBufferSize;
    UINT32 AtfIrqNumber;
    UINT32 DeviceInfo[4];
    UINT32 AtfAeeDebugBufferBase;
    UINT32 AtfAeeDebugBufferSize;
    //UINT32 RpmbSize;
} ATF_BOOTARG, *PATF_BOOTARG;

VOID AgpBootAtf(PVOID AtfBase, SIZE AtfSize, PVOID AtfEntry, PVOID TeeBase, SIZE TeeSize, PVOID TeeEntry, PVOID LkBase, SIZE LkSize, PVOID LkEntry);
